scientific article; zbMATH DE number 1028830
From MaRDI portal
zbMath0875.03045MaRDI QIDQ4342093
Publication date: 8 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Related Items
Hyperboolean Algebras and Hyperboolean Modal Logic, Towards automating duality, Constructing a continuum of predicate extensions of each intermediate propositional logic, Some normal extensions of K4.3, Modalities Without Worlds, Some embedding theorems for conditional 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, A note on the interpolation property in tense logic, Taming logic, Unnamed Item, 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, Finitary unification in locally tabular modal logics characterized, Logic of knowledge and utterance and the liar, A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB, A method of generating modal logics defining Jaśkowski's discussive logic \(D_{2}\), Logical analysis of emotions in text from natural language, An axiomatization for the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation, Possible worlds in use, A Method of Generating Modal Logics Defining Jaśkowski’s Discussive D2 Consequence, TABLEAUX: A general theorem prover for modal logics, A modal logic for subjective default reasoning, 2-sequent calculus: A proof theory of modalities, Duality and completeness for US-logics, A proof-theoretic view of necessity, How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic, On the relation between default and modal nonmonotonic reasoning, On Modal Logics Defining Jaśkowski-Like Discussive Logics, Cut-free tableau calculi for some propositional normal modal logics, Multilanguage hierarchical logics, or: How we can do without modal logics, Modal logics with the MacIntosh rule, An essay in combinatory dynamic logic, Proof analysis in modal logic, On Blass translation for Leśniewski's propositional ontology and modal logics, Knowledge, action, and the frame problem
