Investigations in modal and tense logics with applications to problems in philosophy and linguistics
From MaRDI portal
Publication:1245214
zbMath0374.02013MaRDI QIDQ1245214
Publication date: 1976
Published in: Synthese Library (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items
Modal logic and model theory ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ Preservation of expressive completeness in temporal models ⋮ Automata-theoretic techniques for modal logics of programs ⋮ An incomplete decidable modal logic ⋮ Undecidability of modal and intermediate first-order logics with two individual variables ⋮ Infinitary propositional normal modal logic ⋮ Atoms of tense algebras ⋮ Expressive completeness failure in branching time structures ⋮ First-order classical modal logic ⋮ European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987 ⋮ Der Verband der normalen verzweigten Modallogiken ⋮ Hereditarily structurally complete modal logics ⋮ Intuitionistic tense and modal logic ⋮ Meeting of the Association for Symbolic Logic, Stanford, California, 1985 ⋮ Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system] ⋮ Quantification in some non-normal modal logics ⋮ Default consequence relations as a logical framework for logic programs ⋮ Causal dynamic inference ⋮ Model theory for tense logic: Saturated and special models with applications to the tense hierarchy ⋮ Classification of extensions of the modal logic S4 ⋮ Completeness and decidability of tense logics closely related to logics above K4 ⋮ Tense Logic Without Tense Operators ⋮ Mathematical modal logic: A view of its evolution ⋮ Quantified temporal alethic-deontic logic ⋮ Where have all the Californian tense-logicians gone? ⋮ Time and modality in the logic of agency ⋮ Modal provability foundations for argumentation networks ⋮ Definability and interpolation in non-classical logics ⋮ Quantum logic, Hilbert space, revision theory ⋮ Calculating self-referential statements. I: Explicit calculations ⋮ A logic characterized by the class of connected models with nested domains ⋮ On the relation between default and modal nonmonotonic reasoning ⋮ Labelled proofs for quantified modal logic ⋮ Representation of nondeterministic information ⋮ 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 ⋮ Restricted interpolation over modal logic S4 ⋮ An essay in combinatory dynamic logic ⋮ Logics containing K4. Part II ⋮ A theory of hypermodal logics: Mode shifting in modal logic
