John Corcoran

According to our database, John Corcoran authored at least 13 papers between 1969 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Adaptive Monitoring for Analytics Placement in Tactical Networks.

John Corcoran, Eric Graves, Bryan Dawson, Matthew Dwyer, Paul L. Yu, Kevin Chan

Proceedings of the IEEE Military Communications Conference, 2022

2018

Aristotle's Prototype Rule-Based Underlying Logic.

John Corcoran

Logica Universalis, 2018

2015

Existential-Import Mathematics.

John Corcoran, Hassan Masoud

Bull. Symb. Log., 2015

2014

Obituary Robert McNaughton 1924 - 2014.

John Corcoran, Paliath Narendran, Wolfgang Thomas

Bull. EATCS, 2014

2006

Schemata: The Concept of Schema in the History of Logic.

John Corcoran

Bull. Symb. Log., 2006

1980

Boole's criteria for validity and invalidity.

John Corcoran, Susan Wood

Notre Dame J. Formal Log., 1980

1979

Identity logics.

John Corcoran, Stanley Ziewacz

Notre Dame J. Formal Log., 1979

1974

Logical consequence in modal logic. II. Some semantic systems for S4.

John Corcoran, George Weaver

Notre Dame J. Formal Log., 1974

String Theory.

John Corcoran, William Frank, Michael Maloney

J. Symb. Log., 1974

1973

TOPAS: A system of programs to size and evaluate mini-computers for real-time applications.

John Corcoran, George J. Hafferon, Thomas H. Nash

Proceedings of the 1st Symposium on Simulation of Computer Systems, 1973

1972

Strange arguments.

John Corcoran

Notre Dame J. Formal Log., 1972

Completeness of an Ancient Logic.

John Corcoran

J. Symb. Log., 1972

1969

Logical consequence in modal logic: Natural deduction in S5.

John Corcoran, George Weaver

Notre Dame J. Formal Log., 1969