Publication:4342093
From MaRDI portal
zbMath0875.03045MaRDI QIDQ4342093
Publication date: 8 July 1997
03B45: Modal logic (including the logic of norms)
03A05: Philosophical and critical aspects of logic and foundations
Related Items
Hyperboolean Algebras and Hyperboolean Modal Logic, Duality and completeness for US-logics, An essay in combinatory dynamic logic, Proof analysis in modal logic, Knowledge, action, and the frame problem, Some embedding theorems for conditional logic, TABLEAUX: A general theorem prover for modal logics, 2-sequent calculus: A proof theory of modalities, On the relation between default and modal nonmonotonic reasoning, Multilanguage hierarchical logics, or: How we can do without modal logics, Modal logics with the MacIntosh rule, Towards automating duality, A note on the interpolation property in tense logic, Logic of knowledge and utterance and the liar, Constructing a continuum of predicate extensions of each intermediate propositional logic, Natural deduction based upon strict implication for normal modal logics, Syntactic refutations against finite models in modal logic, A Łukasiewicz-style refutation system for the modal logic S4, Taming logic, Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization, Multi-dimensional semantics for modal logics, Towards reasoning about Hoare relations, A modal logic for subjective default reasoning, How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic, A proof-theoretic view of necessity, Cut-free tableau calculi for some propositional normal modal logics