Pages that link to "Item:Q1303792"

The following pages link to The logic of historical necessity as founded on two-dimensional modal tense logic (Q1303792):

Displaying 8 items.

• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic? (Q631091) (← links)
• Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
• Old foundations for the logic of agency and action (Q1868246) (← links)
• Temporal alethic-deontic logic and semantic tableaux (Q1948272) (← links)
• Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation (Q2568340) (← links)
• Quantified temporal alethic-deontic logic (Q2987727) (← links)
• Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox (Q4683215) (← links)
• Deontic Logic in Computer Science (Q5901578) (← links)