STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS

DOI10.1017/S1755020317000119zbMath1421.03009OpenAlexW2625798834MaRDI QIDQ5357324

Bruno Jacinto

Publication date: 15 September 2017

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020317000119

zbMATH Keywords

modalityactualitynecessitismsecond-order modal logiccomprehension principles

Mathematics Subject Classification ID

Related Items (1)

Serious actualism and higher-order predication

Cites Work

• Axioms for actuality
• On modal logics which enrich first-order S5
• First-order modal logic with an `actually' operator
• First-order modal theories
• The true modal logic
• Modality, quantification, and many Vlach-operators
• On Logics of Knowledge and Belief
• Possible Worlds
• Modal Logic as Metaphysics
• A Functional calculus of first order based on strict implication
• Bare possibilia
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS