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

@@ 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