Pages that link to "Item:Q4007156"
From MaRDI portal
The following pages link to Using the Universal Modality: Gains and Questions (Q4007156):
Displayed 32 items.
- Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) (Q631075) (← links)
- The d-logic of the rational numbers: a fruitful construction (Q633161) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- Completeness of S4 with respect to the real line: revisited (Q705542) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- A simple modal logic for belief revision (Q813420) (← links)
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness (Q861518) (← links)
- Modal logics of some geometrical structures (Q927480) (← links)
- 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 (Q929294) (← links)
- The many faces of counts-as: A formal analysis of constitutive rules (Q931777) (← links)
- Linear temporal logic with until and next, logical consecutions (Q947268) (← links)
- Axiomatic characterization of the AGM theory of belief revision in a temporal logic (Q1028901) (← links)
- Modal logic with names (Q1310624) (← links)
- A modal perspective on the computational complexity of attribute value grammar (Q1314274) (← links)
- Generalized quantifiers and modal logic (Q1314283) (← links)
- A polynomial space construction of tree-like models for logics with local chains of modal connectives (Q1399966) (← links)
- The price of universality (Q1815426) (← links)
- Hybrid languages (Q1909610) (← links)
- Tree models and (labeled) categorial grammar (Q1923835) (← links)
- Temporal interaction of information and belief (Q2464646) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics (Q3128464) (← links)
- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G (Q3522050) (← links)
- Decidability: theorems and admissible rules (Q3643317) (← links)
- PDL with negation of atomic programs (Q3647227) (← links)
- A ModalWalk Through Space (Q3647299) (← links)
- Modal Logics for Parallelism, Orthogonality, and Affine Geometries (Q3647300) (← links)
- Axiomatizing Distance Logics (Q3647302) (← links)
- The modal logic of inequality (Q4032643) (← links)
- Completeness and decidability of tense logics closely related to logics above K4 (Q4338319) (← links)
- « Everywhere » and « here » (Q4531583) (← links)