The following pages link to (Q5582317):
Displayed 14 items.
- Unifying quantified modal logic (Q812104) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- A model-theoretic criterion of ontology (Q1202493) (← links)
- A free logic with intensions as possible values of terms (Q1228607) (← links)
- The modal logic of discrepancy (Q1362594) (← links)
- \textit{De re} language, \textit{de re} eliminability, and the essential limits of both (Q1366763) (← links)
- Two-sorted metric temporal logics (Q1391098) (← links)
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization (Q1914372) (← links)
- Counterpart semantics at work: independence and incompleteness results in quantified modal logic (Q2094163) (← links)
- Partly free semantics for some Anderson-like ontological proofs (Q2255183) (← links)
- Modal logic with subjunctive conditionals and dispositional predicates (Q2560224) (← links)
- Quantified temporal alethic-deontic logic (Q2987727) (← links)
- Doxastic logic: a new approach (Q4646653) (← links)