Pages that link to "Item:Q4276034"
From MaRDI portal
The following pages link to Derivation rules as anti-axioms in modal logic (Q4276034):
Displaying 24 items.
- Dynamic extensions of arrow logic (Q598299) (← links)
- Some characterization and preservation theorems in modal logic (Q714726) (← links)
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness (Q861518) (← links)
- Notes on logics of metric spaces (Q878157) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Second-order propositional modal logic: expressiveness and completeness results (Q1731834) (← links)
- Local properties in modal logic (Q1761295) (← links)
- The logic of Peirce algebras (Q1909608) (← links)
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras (Q2084960) (← links)
- Axiomatizing the logical core of XPath 2.0 (Q2272223) (← links)
- A strict implication calculus for compact Hausdorff spaces (Q2326420) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Topological Perspective on the Hybrid Proof Rules (Q2867949) (← links)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
- PDL with intersection of programs: a complete axiomatization (Q3643256) (← links)
- Modal Logics for Parallelism, Orthogonality, and Affine Geometries (Q3647300) (← links)
- Rectangular games (Q4254698) (← links)
- Temporal Logics with Reference Pointers and Computation Tree Logics (Q4443400) (← links)
- Hyperboolean Algebras and Hyperboolean Modal Logic (Q4531582) (← links)
- Branching-time logic with quantification over branches: The point of view of modal logic (Q4879898) (← links)
- ON FORMALIZING CAUSATION BASED ON CONSTANT CONJUNCTION THEORY (Q4918383) (← links)
- Hybrid Tableaux for the Difference Modality (Q4982124) (← links)
- Existential definability of modal frame classes (Q6096325) (← links)
