Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic (Q3305558): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-29198-7_8
+Normal rank
@@ Property / OpenAlex ID @@
+W2461171513
@@ Property / OpenAlex ID: W2461171513 / rank @@
+Normal rank
@@ Property / cites work @@
+Deep sequent systems for modal logic
@@ Property / cites work: Deep sequent systems for modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Variants of multi-relational semantics for propositional non-normal modal logics
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5661851
@@ Property / cites work: Q5661851 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiplex semantics for deontic logic
@@ Property / cites work: Multiplex semantics for deontic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic
+Normal rank
@@ Property / cites work @@
+An interpolation theorem for denumerably long formulas
+Normal rank
@@ Property / cites work @@
+Remarks on an infinitary language with constructive formulas
+Normal rank
@@ Property / cites work @@
+Labeled sequent calculi for modal logics and implicit contractions
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3247119
@@ Property / cites work: Q3247119 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary propositional normal modal logic
@@ Property / cites work: Infinitary propositional normal modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5605873
@@ Property / cites work: Q5605873 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke completeness of infinitary predicate multimodal logics
+Normal rank
@@ Property / cites work @@
+Cut-elimination Theorems for Some Infinitary Modal Logics
+Normal rank