A finite axiomatization of the set of strongly valid Ockhamist formulas
From MaRDI portal
Publication:1066884
DOI10.1007/BF00649485zbMath0579.03015MaRDI QIDQ1066884
Publication date: 1985
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
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
This page was built for publication: A finite axiomatization of the set of strongly valid Ockhamist formulas
