The following pages link to (Q3781066):
Displaying 50 items.
- Bounded situation calculus action theories (Q286407) (← links)
- Algorithmic correspondence and canonicity for distributive modal logic (Q409328) (← links)
- Sahlqvist correspondence for modal mu-calculus (Q454371) (← links)
- Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
- Exploring the tractability border in epistemic tasks (Q484931) (← links)
- On bisimulations for description logics (Q527171) (← links)
- On the completeness and decidability of duration calculus with iteration (Q557828) (← links)
- A description logic based situation calculus (Q604908) (← links)
- Maximal Kripke-type semantics for modal and superintuitionistic predicate logics (Q688796) (← links)
- An intriguing logic with two implicational connectives (Q698537) (← links)
- Kripke completeness of infinitary predicate multimodal logics (Q701294) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Intuitionistic hybrid logic: introduction and survey (Q764256) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness (Q861518) (← links)
- Connectionist modal logic: representing modalities in neural networks (Q870254) (← links)
- Post complete and 0-axiomatizable modal logics (Q920977) (← links)
- A proof-theoretic study of the correspondence of hybrid logic and classical logic (Q1006454) (← links)
- Language in action (Q1177646) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Modal correspondence for models (Q1267083) (← links)
- Logics and decidability for labelled pre- and partially ordered Kripke structures (Q1328764) (← links)
- Modalities in linear logic weaker than the exponential ``of course'': Algebraic and relational semantics (Q1337609) (← links)
- An algebraic theory of normal forms (Q1346245) (← links)
- Constructive canonicity in non-classical logics (Q1361246) (← links)
- Dynamic reasoning with qualified syllogisms (Q1402719) (← links)
- The fixed point property in modal logic (Q1409307) (← links)
- Repairing the interpolation theorem in quantified modal logic (Q1412840) (← links)
- The modal logic of agreement and noncontingency (Q1430999) (← links)
- Expressiveness of concept expressions in first-order description logics (Q1606296) (← links)
- First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163) (← links)
- The finitely axiomatizable complete theories of non-associative arrow frames (Q1731561) (← links)
- Local properties in modal logic (Q1761295) (← links)
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators (Q1762482) (← links)
- Modal and guarded characterisation theorems over finite transition systems (Q1886323) (← links)
- Logic of transition systems (Q1895974) (← links)
- A set-theoretic translation method for polymodal logics (Q1904398) (← links)
- Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames (Q1908859) (← links)
- Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus (Q1960425) (← links)
- Relation algebras can tile (Q1961863) (← links)
- Modal logic via global consequence (Q2148783) (← links)
- Generalizing deontic action logic (Q2157600) (← links)
- A note on the issue of cohesiveness in canonical models (Q2209168) (← links)
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics (Q2219174) (← links)
- Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic (Q2237192) (← links)
- The monadic theory of finite representations of infinite words (Q2379951) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Modal definability of first-order formulas with free variables and query answering (Q2446543) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
