The following pages link to (Q4694250):
Displaying 22 items.
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- Encapsulating deontic and branching time specifications (Q714879) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- Deontic action logic, atomic Boolean algebras and fault-tolerance (Q846527) (← links)
- Quantified coalition logic (Q1024128) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- A system of dynamic modal logic (Q1267078) (← links)
- Modal logic with names (Q1310624) (← links)
- ``That will do'': logics of deontic necessity and sufficiency (Q1706805) (← links)
- Towards reasoning about Petri nets: a propositional dynamic logic based approach (Q1786561) (← links)
- A system of relational syllogistic incorporating full Boolean reasoning (Q2255203) (← links)
- Reasoning About Justified Belief Based on the Fusion of Evidence (Q2835874) (← links)
- Towards a First-Order Deontic Action Logic (Q2890324) (← links)
- Reasoning about Joint Action and Coalitional Ability in K n with Intersection (Q3092300) (← links)
- Propositional Dynamic Logic for Petri Nets with Iteration (Q3179415) (← links)
- A Note on Reliability-Based Preference Dynamics (Q3457697) (← links)
- A Tableaux System for Deontic Action Logic (Q3522041) (← links)
- A hierarchy of modal logics with relative accessibility relations (Q4531580) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection (Q5213651) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)
- Axiomatization and computability of a variant of iteration-free PDL with fork (Q5918208) (← links)
