The following pages link to (Q3128959):
Displaying 50 items.
- Kripke semantics for provability logic GLP (Q636316) (← links)
- Modal and temporal logics for abstract space-time structures (Q643108) (← links)
- An algebraic approach to canonical formulas: modal case (Q647410) (← links)
- Possible worlds in use (Q647416) (← links)
- Logics for stable and unstable mereological relations (Q651278) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- A note on admissible rules and the disjunction property in intermediate logics (Q661289) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← links)
- New constants in two pretabular superintuitionistic logics (Q695769) (← links)
- An intriguing logic with two implicational connectives (Q698537) (← links)
- Kripke completeness of infinitary predicate multimodal logics (Q701294) (← links)
- A coalgebraic view on positive modal logic (Q703528) (← links)
- A Sahlqvist theorem for distributive modal logic (Q705532) (← links)
- Monadic bounded algebras (Q708923) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- The power of a propositional constant (Q742479) (← links)
- Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic (Q780272) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Conditional excluded middle in systems of consequential implication (Q815021) (← links)
- Duality for \(\kappa\)-additive complete atomic modal algebras (Q829760) (← links)
- About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) (Q831218) (← links)
- On modal logics of model-theoretic relations (Q831223) (← links)
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- Profinite completions and canonical extensions of Heyting algebras (Q862977) (← links)
- Complexity of admissible rules (Q868660) (← links)
- Connectionist modal logic: representing modalities in neural networks (Q870254) (← links)
- First-order logic in the Medvedev lattice (Q897478) (← links)
- Modal logics of some geometrical structures (Q927480) (← links)
- Free equivalential algebras (Q952484) (← links)
- Optimization techniques for propositional intuitionistic logic and their implementation (Q959821) (← links)
- Scattered and hereditarily irresolvable spaces in modal logic (Q964455) (← links)
- Standard Gödel modal logics (Q965908) (← links)
- Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory (Q965912) (← links)
- \(\mathcal {BCDL}\): Basic constructive description logic (Q972431) (← links)
- Self-referential justifications in epistemic logic (Q987374) (← links)
- A note on the expressibility problem for modal logics and star-free regular expressions (Q987808) (← links)
- Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus (Q991900) (← links)
- The modal logic of \({\beta(\mathbb{N})}\) (Q1016504) (← links)
- Substitution Frege and extended Frege proof systems in non-classical logics (Q1023047) (← links)
- Modal languages for topology: expressivity and definability (Q1023054) (← links)
- Semiconic idempotent residuated structures (Q1047102) (← links)
- Completeness and definability in the logic of noncontingency (Q1347608) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- Complexity of some problems in positive and related calculi (Q1401362) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- The modal logic of agreement and noncontingency (Q1430999) (← links)
- Reasoning about proof and knowledge (Q1625594) (← links)
- On the modal logic of Jeffrey conditionalization (Q1632050) (← links)
- Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics (Q1668101) (← links)
