Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics
From MaRDI portal
Publication:1139033
DOI10.1007/BF00485684zbMath0433.03008OpenAlexW4244158953MaRDI QIDQ1139033
Publication date: 1979
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00485684
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An extension of S4 complete for the neighbourhood semantics but incomplete for the relational semantics
- The Undecidability of Monadic Modal Quantification Theory
- An incompleteness theorem in modal logic
- A normal modal calculus between T and S4 without the finite model property
- A generalisation of the concept of a relational model for modal logic1
- The Logics Containing S 4.3
- Modal logics with linear alternative relations
- To the memory of Arthur Prior Formal properties of ‘now’
- Completeness in the theory of types
This page was built for publication: Critical notice to: D. M. Gabbay's Investigations in modal and tense logics with applications to problems in philosophy and linguistics
