The following pages link to Modal logic (Q2744124):
Displaying 50 items.
- True lies (Q143747) (← links)
- Logics for approximate entailment in ordered universes of discourse (Q256484) (← links)
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases (Q266861) (← links)
- Relational semantics for full linear logic (Q280840) (← links)
- Bisimilar and logically equivalent programs in PDL (Q281144) (← links)
- Extending propositional dynamic logic for Petri nets (Q281154) (← links)
- On a graph approach to modal logics (Q281163) (← links)
- Automorphisms of the lattice of classical modal logics (Q284221) (← links)
- Admissible bases via stable canonical rules (Q284230) (← links)
- Modal definability based on Łukasiewicz validity relations (Q284231) (← links)
- Modal logics, justification logics, and realization (Q286591) (← links)
- A logic of separating modalities (Q290917) (← links)
- The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- Reasoning about negligibility and proximity in the set of all hyperreals (Q301366) (← links)
- Expressive power of ``now'' and ``then'' operators (Q302173) (← links)
- Knowledge base exchange: the case of OWL 2 QL (Q309909) (← links)
- Checking EMTLK properties of timed interpreted systems via bounded model checking (Q310082) (← links)
- A STIT logic for reasoning about social influence (Q310094) (← links)
- Covering-based rough sets and modal logics. I. (Q313134) (← links)
- The Fitch-Church paradox and first order modal logic (Q320315) (← links)
- Bi-simulating in bi-intuitionistic logic (Q332084) (← links)
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- On the succinctness of some modal logics (Q360052) (← links)
- Importing logics: soundness and completeness preservation (Q361861) (← links)
- Kripke's worlds. An introduction to modal logics via tableaux (Q371440) (← links)
- Modal ontology and generalized quantifiers (Q373015) (← links)
- Multi-agent justification logic: communication and evidence elimination (Q375307) (← links)
- Action emulation (Q375313) (← links)
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- Adaptive logic as a modal logic (Q383560) (← links)
- Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
- The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
- Branching in the landscape of possibilities (Q393608) (← links)
- Algebraic properties of stochastic effectivity functions (Q406467) (← links)
- Paraconsistent vagueness: a positive argument (Q408334) (← links)
- Completeness results for memory logics (Q408552) (← links)
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Natural duality, modality, and coalgebra (Q418910) (← links)
- The Ackermann approach for modal logic, correspondence theory and second-order reduction (Q420837) (← links)
- Provability and interpretability logics with restricted realizations (Q435232) (← links)
- Modal logics of Stone spaces (Q438813) (← links)
- Approximating Markov processes through filtration (Q442296) (← links)
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- On the ternary relation and conditionality (Q452358) (← links)
- Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP (Q453191) (← links)
- Sahlqvist correspondence for modal mu-calculus (Q454371) (← links)
- Relational semantics of the Lambek calculus extended with classical propositional logic (Q456962) (← links)
