The following pages link to (Q4694250):
Displaying 15 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)
