Temporal alethic-deontic logic and semantic tableaux (Q1948272): 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.1016/j.jal.2012.03.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2055365081
@@ Property / OpenAlex ID: W2055365081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343991
@@ Property / cites work: Q4343991 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of historical necessity as founded on two-dimensional modal tense logic
+Normal rank
@@ Property / cites work @@
+Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation
+Normal rank
@@ Property / cites work @@
+Q4856971
@@ Property / cites work: Q4856971 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2735784
@@ Property / cites work: Q2735784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938869
@@ Property / cites work: Q4938869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938870
@@ Property / cites work: Q4938870 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional obligation and positive permission for agents in time
+Normal rank
@@ Property / cites work @@
+Rich deontic logic: A preliminary study
@@ Property / cites work: Rich deontic logic: A preliminary study / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342094
@@ Property / cites work: Q4342094 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of a branching-time logic with possible choices
+Normal rank
@@ Property / cites work @@
+Q3365265
@@ Property / cites work: Q3365265 / rank @@
+Normal rank
@@ Property / cites work @@
+A Gabbay-rule free axiomatization of \(T\times W\) validity
+Normal rank
@@ Property / cites work @@
+Q3342525
@@ Property / cites work: Q3342525 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+First-order modal logic
@@ Property / cites work: First-order modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 1.
@@ Property / cites work: Handbook of philosophical logic. Vol. 1. / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Q5422030
@@ Property / cites work: Q5422030 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and techniques in modal logic
@@ Property / cites work: Tools and techniques in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+T \(\times\) W completeness
@@ Property / cites work: T \(\times\) W completeness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4245762
@@ Property / cites work: Q4245762 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3518425
@@ Property / cites work: Q3518425 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636857
@@ Property / cites work: Q5636857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342095
@@ Property / cites work: Q4342095 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinations of tense and modality for predicate logic
+Normal rank
@@ Property / cites work @@
+Branching-time logic with quantification over branches: The point of view of modal logic
+Normal rank