[PDF][PDF] Propositional variables occurring exactly once in candidate modal axioms
L Humberstone - Filosofiska Notiser, 2021 - filosofiskanotiser.com
One does not often encounter a proposed axiom for extending one modal logic to another
with the following feature: in the axiom in question some propositional variable (sentence …
with the following feature: in the axiom in question some propositional variable (sentence …
The power of a propositional constant
R Goldblatt, T Kowalski - Journal of Philosophical Logic, 2014 - Springer
Monomodal logic has exactly two maximally normal logics, which are also the only quasi-
normal logics that are Post complete, and they are complete for validity in Kripke frames …
normal logics that are Post complete, and they are complete for validity in Kripke frames …
Note on extending congruential modal logics
L Humberstone - 2016 - projecteuclid.org
Note on Extending Congruential Modal Logics Page 1 Notre Dame Journal of Formal Logic
Volume 57, Number 1, 2016 Note on Extending Congruential Modal Logics Lloyd …
Volume 57, Number 1, 2016 Note on Extending Congruential Modal Logics Lloyd …
An observation concerning Porte's rule in modal logic
R French, L Humberstone - 2015 - dspace.uni.lodz.pl
It is well known that no consistent normal modal logic contains (as theorems) both◊ A and◊¬
A (for any formula A). Here we observe that this claim can be strengthened to the following …
A (for any formula A). Here we observe that this claim can be strengthened to the following …
A Unified Semantics for a Family of Modal Logics with Propositional Constants
M Pascucci - Logica Universalis, 2016 - Springer
This article concerns the metatheory of a class of modal logics whose language includes
propositional constants of various kinds. The main novelties are the use of general frames …
propositional constants of various kinds. The main novelties are the use of general frames …