The following pages link to (Q4342097):
Displaying 45 items.
- Possible worlds in use (Q647416) (← links)
- The logic of counterpart theory with actuality (Q742471) (← links)
- An analysis of first-order logics of probability (Q757340) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- First-order classical modal logic (Q863182) (← links)
- FOIL axiomatized (Q865042) (← links)
- Normal predicative logics with graded modalities (Q1106194) (← links)
- The power of temporal proofs (Q1118578) (← links)
- A logic characterized by the class of connected models with nested domains (Q1264135) (← links)
- On first-order conditional logics (Q1274556) (← links)
- Reaching agreements through argumentation: a logical model and implementation (Q1274675) (← links)
- Exploiting the normative aspect of preference: A deontic logic without actions (Q1353855) (← links)
- Two-sorted metric temporal logics (Q1391098) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- Some first-order probability logics (Q1583250) (← links)
- Decidable fragments of first-order temporal logics (Q1591203) (← links)
- Distributed first order logic (Q1686336) (← links)
- An approach to infinitary temporal proof theory (Q1762733) (← links)
- Naming and identity in epistemic logic. II: A first-order logic for naming (Q1855214) (← links)
- The expressive power of second-order propositional modal logic (Q1924326) (← links)
- Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning (Q1924777) (← links)
- Using temporal logics to express search control knowledge for planning (Q1978242) (← links)
- A modified subformula property for the modal logic KC4 (Q2027110) (← links)
- Partly free semantics for some Anderson-like ontological proofs (Q2255183) (← links)
- A Hilbert-style axiomatisation for equational hybrid logic (Q2255232) (← links)
- `Now' and `then' in tense logic (Q2271188) (← links)
- How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic (Q2276939) (← links)
- A modal reduction for partial logic (Q2366529) (← links)
- How to Lewis a Kripke-Hintikka (Q2442134) (← links)
- Multimodal logic programming (Q2503328) (← links)
- Axiomatising first-order temporal logic: Until and since over linear time (Q2563451) (← links)
- Investigations on Fragments of First Order Branching Temporal Logic (Q2776809) (← links)
- Quantified temporal alethic-deontic logic (Q2987727) (← links)
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems (Q3602954) (← links)
- Doxastic logic: a new approach (Q4646653) (← links)
- Fuzzy unification and first order probabilistic logic (Q4805682) (← links)
- Logics with Probability Operators (Q5024712) (← links)
- Verification in continuous time by discrete reasoning (Q5096392) (← links)
- Keeping Semantics Pure (Q5275557) (← links)
- A variant of Thomason's first-order logic CF based on situations (Q5937807) (← links)
- First-order expressivity for S5-models: Modal vs. two-sorted languages (Q5960012) (← links)
- Logic without metaphysics (Q6067101) (← links)
- The Barcan formulas and necessary existence: the view from quarc (Q6088503) (← links)
- Axiomatizability of propositionally quantified modal logics on relational frames (Q6545089) (← links)
