The following pages link to (Q4698331):
Displayed 50 items.
- Logics for approximate entailment in ordered universes of discourse (Q256484) (← links)
- A unified semantics for a family of modal logics with propositional constants (Q263107) (← links)
- Automorphisms of the lattice of classical modal logics (Q284221) (← links)
- Covering-based rough sets and modal logics. I. (Q313134) (← links)
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- Adaptive logic as a modal logic (Q383560) (← links)
- Prefixed tableaus and nested sequents (Q409323) (← links)
- Revising beliefs on the basis of evidence (Q432970) (← links)
- A new semantics for systems of logic of essence (Q456959) (← links)
- Completeness in hybrid type theory (Q484101) (← links)
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts (Q484112) (← links)
- Montague's theorem and modal logic (Q488358) (← links)
- Multiagent belief revision (Q492877) (← links)
- Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\) (Q497423) (← links)
- Weakening and extending \(\mathbb{Z}\) (Q497880) (← links)
- Structural connections between a forcing class and its modal logic (Q498994) (← links)
- A note on modal logic and possibility theory (Q506374) (← links)
- Coherence for modalities (Q531368) (← links)
- Lattice-valued modal propositional logic and its completeness (Q543066) (← links)
- On fuzzy modal logics \(S5(\mathcal C)\) (Q622028) (← links)
- The single-minded pursuit of consistency and its weakness (Q631514) (← links)
- Interrogative belief revision based on epistemic strategies (Q694496) (← links)
- Monadic bounded algebras (Q708923) (← links)
- A logic for multiple-source approximation systems with distributed knowledge base (Q763469) (← links)
- The formalities of temporaryism without presentness (Q778721) (← links)
- Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
- Unifying quantified modal logic (Q812104) (← links)
- Individual concepts in modal predicate logic (Q815013) (← links)
- Conditional excluded middle in systems of consequential implication (Q815021) (← links)
- First-order modal logic with an `actually' operator (Q817958) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics (Q831227) (← links)
- A plea for logical objects (Q833028) (← links)
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- An adaptive logic based on Jaśkowski's approach to paraconsistency (Q853810) (← links)
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness (Q861518) (← links)
- Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete (Q866565) (← links)
- Connectionist modal logic: representing modalities in neural networks (Q870254) (← links)
- Logic programming as classical inference (Q898781) (← links)
- Transductions in arithmetic (Q904144) (← links)
- Resolution principles in possibilistic logic (Q911797) (← links)
- An algebraic semantics of notional entailment logic Cn (Q917325) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- Formal reasoning with rough sets in multiple-source approximation systems (Q962650) (← links)
- Temporal reference in linear tense logic (Q965860) (← links)
- Associative substitutional semantics and quantified modal logic (Q965898) (← links)
- Carnap's theory of descriptions and its problems (Q969430) (← links)
- Conformant plans and beyond: principles and complexity (Q969534) (← links)
- Closures of may-, should- and must-convergences for contextual equivalence (Q991760) (← links)