Search
Search Results
-
Term algebras of elementarily equivalent atom structures
We exhibit two relation algebra atom structures such that they are elementarily equivalent but their term algebras are not. This answers Problem...
-
A completeness theorem for continuous predicate modal logic
We study a modal extension of the Continuous First-Order Logic of Ben Yaacov and Pedersen (J Symb Logic 75(1):168–190,
2010 ). We provide a set of... -
Maehara-style modal nested calculi
We develop multi-conclusion nested sequent calculi for the fifteen logics of the intuitionistic modal cube between
IK andIS5 . The proof of cut-free... -
Projective algebras and primitive subquasivarieties in varieties with factor congruences
We prove that in the varieties where every compact congruence is a factor congruence and every nontrivial algebra contains a minimal subalgebra, a...
-
On the Modal Logic of Jeffrey Conditionalization
We continue the investigations initiated in the recent papers (Brown et al. in The modal logic of Bayesian belief revision,
2017 ; Gyenis in Standard... -
Hintikka, Free Logician
The combination of quantifiers with a semantics for epistemic operators in a modal framework is one of the major contributions of Hintikka in...
-
Varieties of Rigidity
In this paper certain aspects of rigidity are studied through Hintikka’s work in modal semantics. The paper surveys Hintikka’s extraordinary...
-
Canonical Extensions and Kripke–Galois Semantics for Non-distributive Logics
This article presents an approach to the semantics of non-distributive propositional logics that is based on a lattice representation (and duality)...
-
Uniform interpolation and sequent calculi in modal logic
A method is presented that connects the existence of uniform interpolants to the existence of certain sequent calculi. This method is applied to...
-
Compositional Meaning in Logic
The Fregean-inspired Principle of Compositionality of Meaning (PoC) for formal languages asserts that the meaning of a compound expression is...
-
Computer-Assisted Analysis of the Anderson–Hájek Ontological Controversy
A universal reasoning approach based on shallow semantical embeddings of higher-order modal logics into classical higher-order logic is exemplarily...
-
Expressivity in chain-based modal logics
We investigate the expressivity of many-valued modal logics based on an algebraic structure with a complete linearly ordered lattice reduct....
-
Cubes and Hypercubes of Opposition, with Ethical Ruminations on Inviolability
We show that we in ways related to the classical Square of Opposition may define a Cube of Opposition for some useful statements, and we as a...
-
The Vatican Square
After explaining the interdisciplinary aspect of the series of events organized around the square of opposition since 2007, we discuss papers related...
-
Leibniz’s Ontological Proof of the Existence of God and the Problem of »Impossible Objects«
The core idea of the ontological proof is to show that the concept of existence is somehow contained in the concept of God, and that therefore God’s...