The following pages link to (Q3781066):
Displaying 40 items.
- Counterpart theories for everyone (Q2690141) (← links)
- Fibring: completeness preservation (Q2732291) (← links)
- Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic (Q2842556) (← links)
- Expressive completeness of modal logic on binary ramified frames (Q3130048) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- (Q3384064) (← links)
- April the 19th (Q3454818) (← links)
- Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Q3455775) (← links)
- Second-order logic on equivalence relations (Q3643314) (← links)
- A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes (Q3647203) (← links)
- An undecidable problem in correspondence theory (Q3984404) (← links)
- TTL : a formalism to describe local and global properties of distributed systems (Q3992090) (← links)
- The modal logic of inequality (Q4032643) (← links)
- Interpolation, preservation, and pebble games (Q4262591) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
- Bisimulations and predicate logic (Q4314681) (← links)
- On the Decision Problem for Two-Variable First-Order Logic (Q4338040) (← links)
- (Q4342093) (← links)
- Hyperboolean Algebras and Hyperboolean Modal Logic (Q4531582) (← links)
- SOME MODEL THEORY OF GUARDED NEGATION (Q4647097) (← links)
- A proof-theoretic study of the correspondence of classical logic and modal logic (Q4650293) (← links)
- A new proof of Sahlqvist's theorem on modal definability and completeness (Q4731170) (← links)
- Polyadic quantifiers (Q4733854) (← links)
- Branching-time logic with quantification over branches: The point of view of modal logic (Q4879898) (← links)
- INQUISITIVE BISIMULATION (Q5000255) (← links)
- MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)
- (Q5091133) (← links)
- Expressivity and Complexity of Dependence Logic (Q5213639) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Schema Mappings: A Case of Logical Dynamics in Database Theory (Q5249666) (← links)
- Logic and Probabilistic Update (Q5249676) (← links)
- Logic and Game Theory (Q5249678) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)
- Modal logics that need very large frames (Q5937849) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)
- Frame definability in finitely valued modal logics (Q6040618) (← links)
- To be announced (Q6040661) (← links)
- An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability (Q6064250) (← links)
- Cardinality reduction theorem for logics QHC and QH4 (Q6148010) (← links)
- A simple logic of concepts (Q6156201) (← links)
