Publication:3992551
From MaRDI portal
zbMath0678.03010MaRDI QIDQ3992551
Publication date: 17 September 1992
modal logic; possible worlds; modality; conditionals; vagueness; generalized quantifiers; intensional logic; partiality; tense logics; multiple reference; applications in computer science
03B45: Modal logic (including the logic of norms)
03A05: Philosophical and critical aspects of logic and foundations
03B65: Logic of natural languages
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Related Items
A small reflection principle for bounded arithmetic, CHOICE-FREE STONE DUALITY, Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness, Under Carnap's lamp: flat pre-semantics, Quantified temporal alethic boulesic doxastic logic, Partially interpreted relations and partially interpreted quantifiers, A functional logic for higher level reasoning about computation, Directions in generalized quantifier theory, Mereology in Engineering and Computer Science