- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8730
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
A Propositional Dynamic Logic for Instantial Neighborhood Semantics ; day:22 ; month:8 ; year:2018 ; pages:1-33
Studia logica ; (22.8.2018), 1-33
- Classification
-
Philosophie
- Creator
-
Benthem, Johan van
- Contributor
-
Bezhanishvili, Nick
Enqvist, Sebastian
SpringerLink (Online service)
- DOI
-
10.1007/s11225-018-9825-5
- URN
-
urn:nbn:de:101:1-2018101621033413893110
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:21 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Benthem, Johan van
- Bezhanishvili, Nick
- Enqvist, Sebastian
- SpringerLink (Online service)
Other Objects (12)
Synthesizing semantics for extensions of propositional logic
Propositional and Predicate Logic
On Argumentation Logic and Propositional Logic
Some Unusual Models of Test-Free Propositional Dynamic Logic
Propositional logic : deduction and algorithms
An infinitary propositional probability logic
Tableau methods for propositional logic and term logic
Sequential composition of propositional logic programs
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
Improving proof search in intuitionistic propositional logic
A comprehensive logic for epistemic propositional attidudes
Axiomatizations for propositional and modal team logic
Synthesizing semantics for extensions of propositional logic
Propositional and Predicate Logic
On Argumentation Logic and Propositional Logic
Some Unusual Models of Test-Free Propositional Dynamic Logic
Propositional logic : deduction and algorithms
An infinitary propositional probability logic
Tableau methods for propositional logic and term logic
Sequential composition of propositional logic programs
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
Improving proof search in intuitionistic propositional logic
A comprehensive logic for epistemic propositional attidudes
Axiomatizations for propositional and modal team logic
Synthesizing semantics for extensions of propositional logic
Propositional and Predicate Logic
On Argumentation Logic and Propositional Logic
Some Unusual Models of Test-Free Propositional Dynamic Logic
Propositional logic : deduction and algorithms
An infinitary propositional probability logic
Tableau methods for propositional logic and term logic
Sequential composition of propositional logic programs
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
Improving proof search in intuitionistic propositional logic
A comprehensive logic for epistemic propositional attidudes