Pages that link to "Item:Q4451729"
From MaRDI portal
The following pages link to A unified completeness theorem for quantified modal logics (Q4451729):
Displaying 14 items.
- Axiomatizing relativistic dynamics using formal thought experiments (Q514563) (← links)
- 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)
- First-order classical modal logic (Q863182) (← links)
- Quantification in some non-normal modal logics (Q1685158) (← links)
- Quantifier-free epistemic term-modal logic with assignment operator (Q2067514) (← links)
- Counterpart semantics at work: independence and incompleteness results in quantified modal logic (Q2094163) (← links)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
- (Q3509055) (← links)
- (Q4025891) (← links)
- (Q5092390) (← links)
- REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION (Q5737943) (← links)
- A Boolean-algebraic approach to completeness for normal modal predicate logics (Q6641109) (← links)