Pages that link to "Item:Q4055622"
From MaRDI portal
The following pages link to Propositional quantifiers in modal logic1 (Q4055622):
Displaying 50 items.
- A unified semantics for a family of modal logics with propositional constants (Q263107) (← links)
- Modal ontology and generalized quantifiers (Q373015) (← links)
- Second-order propositional modal logic and monadic alternation hierarchies (Q466445) (← links)
- PLQP \& Company: decidable logics for quantum algorithms (Q472733) (← links)
- Refinement modal logic (Q476194) (← links)
- Abstract argument games via modal logic (Q484918) (← links)
- Zolin and Pizzi: defining necessity from noncontingency (Q485619) (← links)
- A simple embedding of T into double S5 (Q558415) (← links)
- The complexity of one-agent refinement modal logic (Q744988) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness (Q861518) (← links)
- Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
- Reasoning about knowledge of unawareness (Q1036579) (← links)
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- The unaxiomatizability of a quantified intensional logic (Q1135841) (← links)
- Set theory as modal logic (Q1153075) (← links)
- First-order modal theories (Q1156123) (← links)
- Classical second-order intensional logic with maximal propositions (Q1236105) (← links)
- A second-order relevance logic with modality (Q1257469) (← links)
- Operators in the paradox of the knower (Q1313377) (← links)
- Non-axiomatizable second order intuitionistic propositional logic (Q1361248) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- Semantic analysis of orthologic (Q1394336) (← links)
- The modal logic of agreement and noncontingency (Q1430999) (← links)
- Second-order propositional modal logic: expressiveness and completeness results (Q1731834) (← links)
- Implicit, explicit and speculative knowledge (Q1748464) (← links)
- Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\) (Q1826435) (← links)
- The expressive power of second-order propositional modal logic (Q1924326) (← links)
- Quantified multimodal logics in simple type theory (Q1945702) (← links)
- Propositional quantification in bimodal S5 (Q2055931) (← links)
- Did Descartes make a diagonal argument? (Q2121477) (← links)
- Higher-order logic and disquotational truth (Q2155943) (← links)
- Relative necessity and propositional quantification (Q2194112) (← links)
- Counterlogicals as counterconventionals (Q2236599) (← links)
- Elusive propositions (Q2236600) (← links)
- On the logic of belief and propositional quantification (Q2240550) (← links)
- Reprint of: Reasoning about knowledge of unawareness revisited (Q2251670) (← links)
- Semantics for knowledge and change of awareness (Q2258808) (← links)
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
- Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity (Q2350968) (← links)
- Relative necessity reformulated (Q2410891) (← links)
- Comments to `Logics of public communications' (Q2460186) (← links)
- Expressivity of second order propositional modal logic (Q2499295) (← links)
- The Complexity of One-Agent Refinement Modal Logic (Q2915064) (← links)
- An Application of Model Checking Games to Abstract Argumentation (Q3093997) (← links)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
- ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ (Q3580674) (← links)
- Propositional quantification in logics of contingency (Q4586155) (← links)
- On 2nd order intuitionistic propositional calculus with full comprehension (Q4777262) (← links)
- COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS (Q4961741) (← links)
