Pages that link to "Item:Q1062045"
From MaRDI portal
The following pages link to Handbook of philosophical logic. Volume II: Extensions of classical logic (Q1062045):
Displaying 31 items.
- Verification conditions for source-level imperative programs (Q465685) (← links)
- An almost general splitting theorem for modal logic (Q809064) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- The concept of grade of membership (Q1107399) (← links)
- Language in action (Q1177646) (← links)
- TABLEAUX: A general theorem prover for modal logics (Q1181709) (← links)
- Branching space-time (Q1198418) (← links)
- Proof methods for reasoning about possibility and necessity (Q1310399) (← links)
- T \(\times\) W completeness (Q1362587) (← links)
- Constructing a logic of plausible inference: A guide to Cox's theorem. (Q1426283) (← links)
- Dynamic squares (Q1902558) (← links)
- Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning (Q1924777) (← links)
- Back to the actual future (Q2055910) (← links)
- On Blass translation for Leśniewski's propositional ontology and modal logics (Q2115291) (← links)
- How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic (Q2276939) (← links)
- Logics of public communications (Q2460188) (← links)
- Temporal necessity and the conditional (Q2640588) (← links)
- An axiomatization of full Computation Tree Logic (Q2758043) (← links)
- The Senses of Functions in the Logic of Sense and Denotation (Q3161628) (← links)
- A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes (Q3647203) (← links)
- PDL for ordered trees (Q3647225) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
- THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) (← links)
- Keeping Semantics Pure (Q5275557) (← links)
- Splittings and the finite model property (Q5287685) (← links)
- Business process verification with constraint temporal answer set programming (Q5398302) (← links)
- 2-Exp Time lower bounds for propositional dynamic logics with intersection (Q5486241) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- On some weakened forms of transitivity in the logic of conditional obligation (Q6544539) (← links)
- Conditional normative reasoning as a fragment of HOL (Q6650731) (← links)
- The logic of imagination acts: a formal system for the dynamics of imaginary worlds (Q6652873) (← links)
