Handbook of philosophical logic. Volume II: Extensions of classical logic
zbMATH Open0572.03003MaRDI QIDQ1062045FDOQ1062045
Author name not available (Why is that?)
Publication date: 1984
Published in: Synthese Library (Search for Journal in Brave)
Recommendations
- Handbook of philosophical logic. Vol. I: Elements of classical logic
- Handbook of philosophical logic. Vol. 2.
- Handbook of philosophical logic. Vol. 18
- scientific article; zbMATH DE number 3972838
- Handbook of philosophical logic. Vol. 14
- Handbook of philosophical logic. Vol. 5
- Handbook of philosophical logic. Vol. 10
- Handbook of philosophical logic. Vol. 6
- Handbook of philosophical logic. Vol. 7
- Handbook of philosophical logic. Vol. 9
quantificationcounterfactualssemanticsdeontic logicmodal logictense logicdynamic logicprovability logicpossible worldsconditional logicKripke framesmodal correspondence theorylogic of questionsintensional connectivesintensional logicsself- reference
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) Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80) Abstract data types; algebraic specification (68Q65)
Cited In (39)
- The Senses of Functions in the Logic of Sense and Denotation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Handbook of philosophical logic. Vol. 4.
- Business process verification with constraint temporal answer set programming
- Derivation rules as anti-axioms in modal logic
- Logics of public communications
- On Blass translation for Leśniewski's propositional ontology and modal logics
- Title not available (Why is that?)
- Splittings and the finite model property
- Handbook of philosophical logic. Vol. IV: Topics in the philosophy of language
- Language in action
- PDL for ordered trees
- Proof methods for reasoning about possibility and necessity
- Branching space-time
- How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic
- Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning
- Dynamic squares
- Keeping Semantics Pure
- Temporal necessity and the conditional
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS
- An almost general splitting theorem for modal logic
- The Blackwell guide to philosophical logic
- Verification conditions for source-level imperative programs
- 2-Exp Time lower bounds for propositional dynamic logics with intersection
- A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes
- Handbook of philosophical logic. Vol. 7
- An essay in combinatory dynamic logic
- Back to the actual future
- Conditional normative reasoning as a fragment of HOL
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
- Handbook of philosophical logic. Vol. 2.
- The logic of imagination acts: a formal system for the dynamics of imaginary worlds
- Constructing a logic of plausible inference: A guide to Cox's theorem.
- T \(\times\) W completeness
- TABLEAUX: A general theorem prover for modal logics
- An axiomatization of full computation tree logic
- The concept of grade of membership
- On some weakened forms of transitivity in the logic of conditional obligation
This page was built for publication: Handbook of philosophical logic. Volume II: Extensions of classical logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1062045)
