The following pages link to (Q3478385):
Displaying 38 items.
- Existential second-order logic and modal logic with quantified accessibility relations (Q259071) (← links)
- On the succinctness of some modal logics (Q360052) (← links)
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- Boolean algebras arising from information systems (Q598303) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
- Infinitary propositional normal modal logic (Q1102267) (← links)
- Language in action (Q1177646) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Modal logic with names (Q1310624) (← links)
- A modal perspective on the computational complexity of attribute value grammar (Q1314274) (← links)
- ``That will do'': logics of deontic necessity and sufficiency (Q1706805) (← links)
- Dynamic squares (Q1902558) (← links)
- Decidable and undecidable logics with a binary modality (Q1909606) (← links)
- Taming logic (Q1909607) (← links)
- Towards reasoning about Hoare relations (Q1924753) (← links)
- Adding the power-set to description logics (Q1989328) (← links)
- A system of relational syllogistic incorporating full Boolean reasoning (Q2255203) (← links)
- Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
- A logical study of group-size based social network creation (Q2423774) (← links)
- Topological Perspective on the Hybrid Proof Rules (Q2867949) (← links)
- A Hybridization of Irreflexive Modal Logics (Q2867951) (← links)
- Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary R (Q3185766) (← links)
- Algebraic Semantics for Hybrid Logics (Q3298278) (← links)
- Epistemic Logic with Evidence and Relevant Alternatives (Q3299591) (← links)
- An Analytic Logic of Aggregation (Q3601806) (← links)
- A hierarchy of modal logics with relative accessibility relations (Q4531580) (← links)
- Mixed algebras and their logics (Q4586236) (← links)
- A simple tableau system for the logic of elsewhere (Q4645235) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA (Q4982120) (← links)
- Hybrid Tableaux for the Difference Modality (Q4982124) (← links)
- On the Semilattice of Modal Operators and Decompositions of the Discriminator (Q5015971) (← links)
- MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)
- Information algebras (Q5096378) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)
- Disjunctive attribute dependencies in formal concept analysis under the epistemic view of formal contexts (Q6057386) (← links)
