Using the Universal Modality: Gains and Questions
From MaRDI portal
Recommendations
Cited in
(99)- Uncertainty-based semantics for multi-agent knowing how logics
- Inquisitive conditional logics
- Existential second-order logic and modal logic with quantified accessibility relations
- Complexity of the universal theory of modal algebras
- A logic of goal-directed knowing how
- Linear temporal logic with until and next, logical consecutions
- scientific article; zbMATH DE number 7450021 (Why is no real title available?)
- Dynamic hyperintensional belief revision
- A polynomial space construction of tree-like models for logics with local chains of modal connectives
- Decidability: theorems and admissible rules
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness
- NEIGHBOURHOOD CANONICITY FOR EK, ECK, AND RELATIVES: A CONSTRUCTIVE PROOF
- scientific article; zbMATH DE number 7577569 (Why is no real title available?)
- Separation logics and modalities: a survey
- PDL with negation of atomic programs
- Logics for propositional contingentism
- Justified belief and the topology of evidence
- Deciding regular grammar logics with converse through first-order logic
- The many faces of counts-as: A formal analysis of constitutive rules
- On the Semilattice of Modal Operators and Decompositions of the Discriminator
- Tableaux methods for access control in distributed systems
- scientific article; zbMATH DE number 7450037 (Why is no real title available?)
- On characterization, definability and -saturated models
- Some characterization and preservation theorems in modal logic
- Reasoning with global assumptions in arithmetic modal logics
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning
- Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \)
- Completeness of S4 with respect to the real line: revisited
- Axiomatic characterization of the AGM theory of belief revision in a temporal logic
- A simple tableau system for the logic of elsewhere
- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
- A Logic of Knowing How
- Expressive power of ``now and ``then operators
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
- Modal logic and planarity of graphs
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
- Monadic \(\Sigma^{1}_{1}\) and modal logic with quantified binary relations
- MEREOLOGICAL BIMODAL LOGICS
- Existential definability of modal frame classes
- The d-logic of the rational numbers: a fruitful construction
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
- A logic for reasoning about independent alternatives
- FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3
- Sequent calculi for global modal consequence relations
- Expertise and information: an epistemic logic perspective
- Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms
- Temporal interaction of information and belief
- Announcement as effort on topological spaces
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids
- A strict implication calculus for compact Hausdorff spaces
- Tree models and (labeled) categorial grammar
- Non-monotonic reasoning via dynamic consequence
- On the Blok-Esakia theorem
- Completeness and complexity of multi-modal CTL
- \({\mathrm{K}{_ \mathrm{S}} \mathrm{P}}\): a resolution-based prover for multimodal K
- Modal Logics for Parallelism, Orthogonality, and Affine Geometries
- Topological subset space models for public announcements
- Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
- An essay in combinatory dynamic logic
- A modal perspective on the computational complexity of attribute value grammar
- A modal walk through space
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning
- A Modal-Layered Resolution Calculus for K
- Characterizing relative frame definability in team semantics via the universal modality
- Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
- Modal Satisfiability via SMT Solving
- Completeness in hybrid type theory
- Hybrid languages
- Logics for propositional determinacy and independence
- Modal logics with intersection modality
- The price of universality
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
- A calculus for modal compact Hausdorff spaces
- « Everywhere » and « here »
- One modal logic to rule them all?
- Characterization, definability and separation via saturated models
- Stable canonical rules
- Modal logics of some geometrical structures
- A simple modal logic for belief revision
- Unification in epistemic logics
- Finitely defined preference and preference indiscernibility in ATL with strategy contexts
- Modal logic with names
- Generalized quantifiers and modal logic
- Uncertainty-based knowing how logic
- The modal logic of inequality
- Free choice in modal inquisitive logic
- Axiomatizing distance logics
- Relation-changing logics as fragments of hybrid logics
- Arthur Prior and `now'
- On the modal logic of subset and superset: tense logic over Medvedev frames
- Completeness and decidability of tense logics closely related to logics above K4
- ``That will do: logics of deontic necessity and sufficiency
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
- Expressing discrete spatial relations under granularity
- THE BAIRE CLOSURE AND ITS LOGIC
- NP reasoning in the monotone \(\mu\)-calculus
- BISIMULATIONS FOR KNOWING HOW LOGICS
- How easy it is to know how: an upper bound for the satisfiability problem
- First steps in updating knowing how
This page was built for publication: Using the Universal Modality: Gains and Questions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4007156)
