Pages that link to "Item:Q1066884"
From MaRDI portal
The following pages link to A finite axiomatization of the set of strongly valid Ockhamist formulas (Q1066884):
Displaying 20 items.
- Axiomatization of a branching time logic with indistinguishability relations (Q288245) (← links)
- Completeness of a branching-time logic with possible choices (Q622622) (← links)
- Moment/history duality in Prior's logics of branching-time (Q857669) (← links)
- A decidable temporal logic of parallelism (Q1130239) (← links)
- A Gabbay-rule free axiomatization of \(T\times W\) validity (Q1272831) (← links)
- Combinations of tense and modality for predicate logic (Q1303794) (← links)
- T \(\times\) W completeness (Q1362587) (← links)
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization (Q1914372) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- Axiomatising the Prior future in predicate logic (Q1945707) (← links)
- First-order definability of transition structures (Q2322984) (← links)
- Quantification over sets of possible worlds in branching-time semantics (Q2500778) (← links)
- Obligation, contracts, and negotiation: Outlining an approach (Q2568338) (← links)
- Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation (Q2568340) (← links)
- An axiomatization of full computation tree logic (Q2758043) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Paris, 1985 (Q4724593) (← links)
- Branching-time logic with quantification over branches: The point of view of modal logic (Q4879898) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)
- Completeness of a functional system for surjective functions (Q5108132) (← links)
