Modal logic, truth, and the master modality.

DOI10.1023/A:1019992820056zbMath1038.03017OpenAlexW1971814284MaRDI QIDQ1857362

Torben Braüner

Publication date: 6 March 2003

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1019992820056

zbMATH Keywords

modal logichybrid logichomophonic theory of truth

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (4)

Arthur Prior and hybrid logic ⋮ Logics for actor networks: a two-stage constrained-hybridisation approach ⋮ Natural deduction for first-order hybrid logic ⋮ Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere

Cites Work

• The complexity of reasoning about knowledge and time. I: Lower bounds
• Modal logic and truth
• Necessity and truth theories
• First-order modal logic
• Hybrid logics: characterization, interpolation and complexity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modal logic, truth, and the master modality.