Handbook of philosophical logic. Volume II: Extensions of classical logic

zbMath0572.03003MaRDI QIDQ1062045

No author found.

Publication date: 1984

Published in: Synthese Library (Search for Journal in Brave)

zbMATH Keywords

counterfactualsquantificationmodal logicpossible worldsdeontic logicdynamic logictense logicsemanticsKripke framesprovability logicconditional logicmodal correspondence theorylogic of questionsintensional connectivesintensional logicsself- reference

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Abstract data types; algebraic specification (68Q65) Logic with extra quantifiers and operators (03C80)

Related Items (28)

Keeping Semantics Pure ⋮ The Senses of Functions in the Logic of Sense and Denotation ⋮ Splittings and the finite model property ⋮ Derivation rules as anti-axioms in modal logic ⋮ Temporal necessity and the conditional ⋮ Dynamic squares ⋮ The concept of grade of membership ⋮ T \(\times\) W completeness ⋮ Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning ⋮ Constructing a logic of plausible inference: A guide to Cox's theorem. ⋮ Verification conditions for source-level imperative programs ⋮ Language in action ⋮ TABLEAUX: A general theorem prover for modal logics ⋮ Logics of public communications ⋮ Business process verification with constraint temporal answer set programming ⋮ Branching space-time ⋮ An axiomatization of full Computation Tree Logic ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic ⋮ THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE ⋮ Back to the actual future ⋮ A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes ⋮ PDL for ordered trees ⋮ 2-Exp Time lower bounds for propositional dynamic logics with intersection ⋮ Proof methods for reasoning about possibility and necessity ⋮ An almost general splitting theorem for modal logic ⋮ An essay in combinatory dynamic logic ⋮ On Blass translation for Leśniewski's propositional ontology and modal logics

This page was built for publication: Handbook of philosophical logic. Volume II: Extensions of classical logic