A finite axiomatization of the set of strongly valid Ockhamist formulas

DOI10.1007/BF00649485zbMath0579.03015MaRDI QIDQ1066884

Alberto Zanardo

Publication date: 1985

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

zbMATH Keywords

modal logictreestense logictense operatorsOckhamist logicS5-possibility

Mathematics Subject Classification ID

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

Related Items (20)

Axiomatization of a branching time logic with indistinguishability relations ⋮ Системы временной логики I: моменты, истории, деревья ⋮ Derivation rules as anti-axioms in modal logic ⋮ Moment/history duality in Prior's logics of branching-time ⋮ T \(\times\) W completeness ⋮ Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization ⋮ A decidable temporal logic of parallelism ⋮ Completeness of a branching-time logic with possible choices ⋮ Completeness of a functional system for surjective functions ⋮ On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators ⋮ Axiomatising the Prior future in predicate logic ⋮ Branching-time logic with quantification over branches: The point of view of modal logic ⋮ An axiomatization of full Computation Tree Logic ⋮ Quantification over sets of possible worlds in branching-time semantics ⋮ A Gabbay-rule free axiomatization of \(T\times W\) validity ⋮ European Summer Meeting of the Association for Symbolic Logic, Paris, 1985 ⋮ First-order definability of transition structures ⋮ Obligation, contracts, and negotiation: Outlining an approach ⋮ Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation ⋮ Combinations of tense and modality for predicate logic

Cites Work

• Unnamed Item
• Unnamed Item
• The decision problem for branching time logic
• Logic and time
• The unreal future
• Modal logics with linear alternative relations

This page was built for publication: A finite axiomatization of the set of strongly valid Ockhamist formulas