The Arthur Prior memorial conference, Christchurch, 1989

DOI10.2307/2274946zbMath0729.03002OpenAlexW2154800027MaRDI QIDQ3352992

No author found.

Publication date: 1991

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274946

zbMATH Keywords

ConferenceLogicPhilosophySymbolic logicChristchurch/NewzealandPrior memorial conference

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Consistency in networks of relations
• Proof Theories for Semilattice Logics
• The mutual exclusion problem

This page was built for publication: The Arthur Prior memorial conference, Christchurch, 1989