Pages that link to "Item:Q4007156"
From MaRDI portal
The following pages link to Using the Universal Modality: Gains and Questions (Q4007156):
Displaying 50 items.
- Existential second-order logic and modal logic with quantified accessibility relations (Q259071) (← links)
- Expressive power of ``now'' and ``then'' operators (Q302173) (← links)
- Completeness in hybrid type theory (Q484101) (← links)
- Arthur Prior and `now' (Q516423) (← links)
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- 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)
- Some characterization and preservation theorems in modal logic (Q714726) (← 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)
- ``That will do'': logics of deontic necessity and sufficiency (Q1706805) (← links)
- The price of universality (Q1815426) (← links)
- Hybrid languages (Q1909610) (← links)
- Tree models and (labeled) categorial grammar (Q1923835) (← links)
- Expressing discrete spatial relations under granularity (Q1979964) (← links)
- Announcement as effort on topological spaces (Q2053358) (← links)
- NP reasoning in the monotone \(\mu\)-calculus (Q2096471) (← links)
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics (Q2144204) (← links)
- A logic of goal-directed knowing how (Q2218708) (← links)
- Characterising modal definability of team-based logics via the universal modality (Q2273015) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- Complexity of the universal theory of modal algebras (Q2307300) (← links)
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
- Sequent calculi for global modal consequence relations (Q2323632) (← links)
- A strict implication calculus for compact Hausdorff spaces (Q2326420) (← links)
- Characterization, definability and separation via saturated models (Q2453534) (← links)
- Temporal interaction of information and belief (Q2464646) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- Free choice in modal inquisitive logic (Q2698544) (← links)
- STABLE CANONICAL RULES (Q2805038) (← links)
- : A Resolution-Based Prover for Multimodal K (Q2817940) (← links)
- Justified Belief and the Topology of Evidence (Q2820686) (← links)
- Characterizing Relative Frame Definability in Team Semantics via the Universal Modality (Q2820709) (← links)
- Reasoning with Global Assumptions in Arithmetic Modal Logics (Q2947894) (← links)
- On Characterization, Definability and ω-Saturated Models (Q3105745) (← links)
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics (Q3128464) (← links)
- Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary R (Q3185766) (← links)
