Investigations into quantified modal logic. I

DOI10.1007/BF02120875zbMath0332.02028MaRDI QIDQ1227597

R. Z. Parks

Publication date: 1976

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (7)

Quantified temporal alethic boulesic doxastic logic ⋮ A completeness theorem for the general interpreted modal calculus MC**nu of A. Bressan ⋮ Quantified temporal alethic-deontic logic ⋮ Doxastic logic: a new approach ⋮ Substance and first-order quantification over individual-concepts ⋮ Contingent modal semantics for some variants of Anderson-like ontological proofs ⋮ The hooded man

Cites Work

• The inadequacy of Hughes and Cresswell's semantics for the CI systems
• Semantics for contingent identity systems
• Classes and change
• A generalization of the concept ofω-completeness
• A completeness theorem in modal logic
• Algebraic semantics for modal logics I
• On Cores and Prime Implicants of Truth Functions
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The completeness of the first-order functional calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Investigations into quantified modal logic. I