The following pages link to (Q4342097):
Displayed 28 items.
- An analysis of first-order logics of probability (Q757340) (← links)
- An essay in combinatory dynamic logic (Q809068) (← 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)
- 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)
- 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)
- Multimodal logic programming (Q2503328) (← links)
- Axiomatising first-order temporal logic: Until and since over linear time (Q2563451) (← links)
- (Q2776809) (← links)
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems (Q3602954) (← links)
- Fuzzy unification and first order probabilistic logic (Q4805682) (← 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)