Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.

DOI10.1007/978-1-4020-8590-1zbMath1210.03017MaRDI QIDQ5962305

Claudio E. A. Pizzi, Walter Alexandre Carnielli

Publication date: 22 September 2010

Published in: Logic, Epistemology, and the Unity of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-8590-1

zbMATH Keywords

possible worlds semantics; temporal logic; epistemic logic; propositional modal logic; first-order modal logic, multimodalities

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03A05: Philosophical and critical aspects of logic and foundations

03B42: Logics of knowledge and belief (including belief change)

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

03B44: Temporal logic

Related Items

On Some Modal Type Intuitionistic Fuzzy Operators, A note on the complexity of S4.2, The Good, the Bad and the Right: Formal Reductions among Deontic Concepts, A unified semantics for a family of modal logics with propositional constants, Generalization and composition of modal squares of oppositions, Where have all the Californian tense-logicians gone?, On graph calculi for multi-modal logics, The single-minded pursuit of consistency and its weakness, Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\), Combinatorial bitstring semantics for arbitrary logical fragments, Modal extensions of sub-classical logics for recovering classical logic, On Blass translation for Leśniewski's propositional ontology and modal logics, Dugundji's theorem revisited, Logical geometries and information in the square of oppositions, Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation, On a graph calculus for modalities, We don't know we don't know: asserting ignorance, POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES, Completeness and incompleteness for anodic modal logics