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

DOI10.1007/978-1-4020-8590-1zbMath1210.03017OpenAlexW1533381840MaRDI 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 semanticstemporal logicepistemic logicpropositional modal logicfirst-order modal logic, multimodalities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Temporal logic (03B44)

Related Items (20)

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

This page was built for publication: Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.