John Corcoran

Publication Activity (10 Years)

Years Active: 1969-2022
Publications (10 Years): 3

Top Topics

Computational Properties

Top Venues

Bull. Symb. Log.

Logica Universalis

Publications

John Corcoran, Eric Graves, Bryan Dawson, Matthew Dwyer, Paul Yu, Kevin Chan
Adaptive Monitoring for Analytics Placement in Tactical Networks. MILCOM (2022)
John Corcoran
Aristotle's Prototype Rule-Based Underlying Logic. Logica Universalis 12 (1-2) (2018)
John Corcoran, Hassan Masoud
Existential-Import Mathematics. Bull. Symb. Log. 21 (1) (2015)
John Corcoran, Paliath Narendran, Wolfgang Thomas
Obituary Robert McNaughton 1924 - 2014. Bull. EATCS 114 (2014)
John Corcoran
Schemata: The Concept of Schema in the History of Logic. Bull. Symb. Log. 12 (2) (2006)
John Corcoran, Susan Wood
Boole's criteria for validity and invalidity. Notre Dame J. Formal Log. 21 (4) (1980)
John Corcoran, Stanley Ziewacz
Identity logics. Notre Dame J. Formal Log. 20 (4) (1979)
John Corcoran, William Frank, Michael Maloney
String Theory. J. Symb. Log. 39 (4) (1974)
John Corcoran, George Weaver
Logical consequence in modal logic. II. Some semantic systems for S4. Notre Dame J. Formal Log. 15 (3) (1974)
John Corcoran, George J. Hafferon, Thomas H. Nash
TOPAS: A system of programs to size and evaluate mini-computers for real-time applications. ANSS (1973)
John Corcoran
Completeness of an Ancient Logic. J. Symb. Log. 37 (4) (1972)
John Corcoran
Strange arguments. Notre Dame J. Formal Log. 13 (2) (1972)
John Corcoran, George Weaver
Logical consequence in modal logic: Natural deduction in S5. Notre Dame J. Formal Log. 10 (4) (1969)