The following pages link to (Q4935259):
Displaying 19 items.
- Informational semantics, non-deterministic matrices and feasible deduction (Q281148) (← links)
- Prefixed tableaus and nested sequents (Q409323) (← links)
- Linearity and regularity with negation normal form (Q703486) (← links)
- PNL to HOL: from the logic of nominal sets to the logic of higher-order functions (Q714797) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- An informational view of classical logic (Q897935) (← links)
- The complexity of identifying characteristic formulae (Q1987735) (← links)
- A system for deduction-based formal verification of workflow-oriented software models (Q2018423) (← links)
- One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\) (Q2029608) (← links)
- A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829) (← links)
- A qualitative temporal extension of here-and-there logic (Q2694563) (← links)
- Stable Philosophical Systems and Radical Anti-realism (Q2908771) (← links)
- Quantified temporal alethic-deontic logic (Q2987727) (← links)
- (Q3384889) (← links)
- Barcan Both Ways (Q4531581) (← links)
- (Q4575567) (← links)
- Doxastic logic: a new approach (Q4646653) (← links)
- A note on the complexity of S4.2 (Q5156186) (← links)
- Modal Logics with Hard Diamond-Free Fragments (Q5283414) (← links)
