Handbook of philosophical logic. Volume II: Extensions of classical logic
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)
- 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
- PDL for ordered trees
- Handbook of philosophical logic. Vol. IV: Topics in the philosophy of language
- Language in action
- Derivation rules as anti-axioms in modal logic
- Verification conditions for source-level imperative programs
- scientific article; zbMATH DE number 1446855 (Why is no real title available?)
- Handbook of philosophical logic. Vol. 2.
- Handbook of philosophical logic. Vol. 7
- Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning
- T \(\times\) W completeness
- TABLEAUX: A general theorem prover for modal logics
- 2-Exp Time lower bounds for propositional dynamic logics with intersection
- Proof methods for reasoning about possibility and necessity
- 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.
- scientific article; zbMATH DE number 1814755 (Why is no real title available?)
- Keeping Semantics Pure
- An essay in combinatory dynamic logic
- Branching space-time
- On some weakened forms of transitivity in the logic of conditional obligation
- Logics of public communications
- scientific article; zbMATH DE number 3972838 (Why is no real title available?)
- A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes
- An almost general splitting theorem for modal logic
- Back to the actual future
- The senses of functions in the logic of sense and denotation
- Conditional normative reasoning as a fragment of HOL
- Splittings and the finite model property
- Temporal necessity and the conditional
- The Blackwell guide to philosophical logic
- Preservation of admissible rules when combining logics
- Business process verification with constraint temporal answer set programming
- The concept of grade of membership
- How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic
- Dynamic squares
- An axiomatization of full computation tree logic
- On Blass translation for Leśniewski's propositional ontology and modal logics
- Handbook of modal logic
- Handbook of philosophical logic. Vol. 4.
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE
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)
