scientific article; zbMATH DE number 1749192
From MaRDI portal
Publication:4532193
Recommendations
Cited in
(71)- Modal logics with functional alternative relations
- The modal logic of `all and only'
- Tools and techniques in modal logic
- Modal logic as metalogic
- Formal systems for modal operators on locales
- Multi-dimensional modal logic
- Barwise's information frames and modal logics
- First order extensions of classical systems of modal logic. The role of the Barcan schemas
- Abstract modal logics
- Completeness theorems for -fragment of first-order modal logic
- Varying modal theories
- Every world can see a reflexive world
- Some incompletable modal predicate logics
- The relevant fragment of first order logic
- Reflexive-insensitive modal logics
- The modal logic of inner models
- Stable canonical rules
- scientific article; zbMATH DE number 6215727 (Why is no real title available?)
- Failure of interpolation in constant domain intuitionistic logic
- A stochastic interpretation of propositional dynamic logic: expressivity
- Formula-layered predicate modal logic
- Modality and axiomatic theories of truth. I: Friedman-Sheard
- What is the correct logic of necessity, actuality and apriority?
- Total logic
- Sound and complete axiomatic system with a modality =_1 _2
- scientific article; zbMATH DE number 4014675 (Why is no real title available?)
- scientific article; zbMATH DE number 6609010 (Why is no real title available?)
- Interpolation for extended modal languages
- On a modal epistemic axiom emerging from McDermott-Doyle logics
- A polynomial translation of S4 into intuitionistic logic
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05
- The completeness of Carnap's predicate logic
- scientific article; zbMATH DE number 5295701 (Why is no real title available?)
- The modal logic of affine planes is not finitely axiomatisable
- The modal -calculus hierarchy over restricted classes of transition systems
- scientific article; zbMATH DE number 3896900 (Why is no real title available?)
- The extensions of the modal logic K5
- Well-behaved modal logics
- scientific article; zbMATH DE number 4012571 (Why is no real title available?)
- scientific article; zbMATH DE number 4041866 (Why is no real title available?)
- Quantified Modal Logic With Rigid Terms
- scientific article; zbMATH DE number 92610 (Why is no real title available?)
- The modal logic of inequality
- scientific article; zbMATH DE number 166117 (Why is no real title available?)
- scientific article; zbMATH DE number 1303428 (Why is no real title available?)
- scientific article; zbMATH DE number 625207 (Why is no real title available?)
- scientific article; zbMATH DE number 1735833 (Why is no real title available?)
- scientific article; zbMATH DE number 1028830 (Why is no real title available?)
- Predicate Modal Logics Do Not Mix Very Well
- scientific article; zbMATH DE number 1953884 (Why is no real title available?)
- scientific article; zbMATH DE number 1778904 (Why is no real title available?)
- On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). II
- On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). I
- Erdős Graphs Resolve Fine's Canonicity Problem
- scientific article; zbMATH DE number 2101969 (Why is no real title available?)
- Modes of adjointness
- On formalizing causation based on constant conjunction theory
- Model-theoretic characterization of intuitionistic propositional formulas
- scientific article; zbMATH DE number 1418445 (Why is no real title available?)
- Modal Logics and Group Polarization
- Modal logics of metric spaces
- Connecting many-sorted theories
- Symmetries in modal logics
- `Rolling down the river': Saul Kripke and the course of modal logic
- An algebraic characterization of equivalent preferential models
- Modal Logic as Metaphysics
- Topological completeness of logics above \(\mathbf{S4}\)
- scientific article; zbMATH DE number 3323816 (Why is no real title available?)
- Minimal predicates, fixed-points, and definability
- A logic for metric and topology
- Simple Axioms for Local Properties
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4532193)
